Done! The site still has to be upgraded manually, but I think that’s due to the combination of plugins and themes I have installed. Back to it…